linear logical analyses and other highly structured functions